Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach
نویسندگان
چکیده
A top down development is presented of a distributed priority queue. The crucial characteristic that enables this development is the compositionality of the formalism used. Actually we argue that a stronger requirement is needed which combines compositionality with the ability to adapt given specifications, called modularity.
منابع مشابه
On Designing for Modularity
Action systems, a state-based formalism for modeling reactive, distributed systems, provides a simple, yet powerful conceptual model for concurrency. Interleaved execution of actions gives the basic semantics to parallel execution of action systems. Trace refinement of action systems carried out within the higherorder logic framework of refinement calculus lets us derive a correct implementatio...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing for Abrasive Water Jet Machining
A water jet machining is an industrial tool capable of cutting a wide variety of materials using a very high-pressure jet of water, or a mixture of water and an abrasive substance. This paper addresses the concept of the Intelligent knowledge base system (IKBS) for optimization of product design and manufacturing process for water jet machining in computer based concurrent engineering environme...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing for Abrasive Water Jet Machining
A water jet machining is an industrial tool capable of cutting a wide variety of materials using a very high-pressure jet of water, or a mixture of water and an abrasive substance. This paper addresses the concept of the Intelligent knowledge base system (IKBS) for optimization of product design and manufacturing process for water jet machining in computer based concurrent engineering environme...
متن کاملMining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain
Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...
متن کاملMaximum Maintainability of Complex Systems via Modulation Based on DSM and Module Layout.Case Study:Laser Range Finder
The present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. For this purpose, four objective functions have been considered simultaneously: I) maximizing the level of accordance between system design and optimum modularity design,II) maximizing the level of accessibility and the maintenance space required,III...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1987